Actually update domain info when dom_get() succeeds.
authorshand@ubuntu.eng.hq.xensource.com <shand@ubuntu.eng.hq.xensource.com>
Thu, 15 Sep 2005 16:15:48 +0000 (08:15 -0800)
committershand@ubuntu.eng.hq.xensource.com <shand@ubuntu.eng.hq.xensource.com>
Thu, 15 Sep 2005 16:15:48 +0000 (08:15 -0800)
commite999e0f1aedf9d9ca81f01fb86c13c8dfb0e5784
treed54f8a1aacc950fb144e91b0eb09c87ed29ebb2c
parent47ff2422dbdb3187dd2d82bb8268803c6f58b652
Actually update domain info when dom_get() succeeds.

Signed-off-by: Steven Hand <steven@xensource.com>
tools/python/xen/xend/XendDomainInfo.py